Specific Disciplinary Areas of the Department of Computer Science


Computer Science constitutes a distinct disciplinary domain, with its own theoretical foundations, formal methodologies, and technological paradigms. It encompasses the mathematical principles of computation, the design and analysis of computational models and systems, and the application of these models to complex scientific and societal challenges.

The Department structures its research and academic activity within the domain of Computer Science, organized around six major disciplinary fields:

  • Theory of Computation, Algorithms and Programming Languages
  • Architectures, Systems and Networks
  • Artificial Intelligence and Data Science
  • Security and Privacy
  • Information Systems, Human-Computer Interaction and Social Computing
  • Computing for Life and Health Sciences


In addition, the Department develops a cross-cutting thematic area in:

  • Quantum Information and Computing

This structure ensures scientific coherence, strategic focus, and alignment with international standards, including the ACM Computing Classification System.


A more detailed description and contextualization of each disciplinary area follows.


1. Theory of Computation, Algorithms and Programming Languages

This area addresses the mathematical and formal foundations of Computer Science, including models of computational, algorithmic efficiency, programming paradigms and formal reasoning about software systems.

Topics: Computational Logic; Automata and Formal Languages; Computational Complexity; Coding and Information Theory; Graph Theory; Complex Networks; Algorithms and Data Structures; Concurrency; Programming Languages; Type Theory; Functional Programming; Logic Programming; Constraint Programming; Compilers; Formal Methods in Software Engineering; Software Verification and Validation; Quantum Computing.

2. Architectures, Systems and Networks

This area focuses on the design, implementation, and evaluation of computational infrastructures, from hardware platforms to large-scale distributed and networked systems.

Topics: Hardware Architectures; Embedded and Real-Time Systems; Operating Systems; Parallel Computing; Distributed Computing; Cloud Computing; Edge/Fog Computing; Mobile Computing; Middleware; Service-Oriented Architecture (SOA); Computer Networks; Software-Defined Networking; Mobile Networks; Wireless Networks; Internet of Things (IoT).

3. Artificial Intelligence and Data Science

This area is devoted to the development of computational methods for machine learning, knowledge extraction, data modeling, and intelligent systems.

Topics: Knowledge Representation and Reasoning; Artificial Intelligence; Machine Learning; Knowledge Discovery from Data; Natural Language Processing; Computer Vision; Data Streams; Fraud Detection; Semantic Web; Autonomous Agents and Multi-Agent Systems; Intelligent Robotics; Analytical Data Visualization.

4. Security and Privacy

This area addresses the foundations, methods, and technologies for ensuring confidentiality, integrity, availability, trustworthiness, and privacy of information and computational systems.

Topics: Cryptography; Hardware Security; Software Security; Network Security; Systems Security; Quantum Key Distribution; Intrusion and Anomaly Detection; Cybersecurity; Information Privacy; Digital Identity Management; Accountability and Societal Aspects of Artificial Intelligence; Human and Societal Aspects of Security.

5. Information Systems, Human-Computer Interaction and Social Computing

This area focuses on the modeling, management, retrieval, and use of information in computational systems, as well as on human-centered computing and the societal impact of digital technologies.

Topics: Databases and Data Management; Information Systems; Information Retrieval; Web Technologies; Computer Graphics; Interactive Visualization; Human-Computer Interaction; Social Network Analysis; Social Computing; Collaborative Systems; Computer Science Education.

6. Computing for Life and Health Sciences

This area integrates the development and application of computational methods to problems in biology, biomedicine, and healthcare systems, fostering interdisciplinary collaboration between Computer Science and the Life Sciences.

Topics: Bioinformatics, Algorithms and Data Structures for Bioinformatics; Computational Genomics; Biomedical Data Analysis; Computer Vision for Medical Imaging; Machine Learning in Healthcare; Health Informatics; Health Information Systems; Clinical Decision Support Systems; Telemedicine and Digital Health.

Quantum Information and Computing

FCUP Cross-Cutting Thematic Area

It is also a strategic objective of the Department to develop research at the intersection of quantum information theory, quantum algorithms, quantum cryptography, and quantum computing architectures, contributing to foundational advances and emerging technologies in quantum-enabled systems.